Anselm’s Logic of Agency
نویسنده
چکیده
The origins of treating agency as a modal concept go back at least to the 11th century when Anselm, Archbishop of Canterbury, provided a modal explication of the Latin facere ‘to do’, which can be formalized within the context of modern modal logic and neighborhood semantics. The agentive logic induced by his conception satisfies the traditional square of opposition, but also has some unique properties which reflect the fact that Anselm’s modal view of agency is grounded strongly in nonlogical philosophical and theological considerations. Our conclusion is that Anselm’s logic of agency when presented with the tools of modern formal logic is still a viable theory of agency for current times. keywords: agency, Anselm of Canterbury, neighborhood semantics, ordinary language, square of opposition
منابع مشابه
The reception of Saint Anselm’s logic in the 20th and 21st centuries
St. Anselm of Canterbury’s place in both the history of philosophy and the history of theology is firmly recognized, but his place in the history of logic is often overlooked. We argue that this is primarily the result of four factors: (1) the primary propagator of Anselm’s logical works in the 20th century, D.P. Henry, used a system of logic unfamiliar and objectionable to most mainstream logi...
متن کاملFormal reconstructions of St. Anselm's ontological argument
In this paper, we discuss formal reconstructions of Anselm’s ontological argument. We first present a number of requirements that any successful reconstruction should meet. We then offer a detailed preparatory study of the basic concepts involved in Anselm’s argument. Next, we present our own reconstructions—one in modal logic and one in classical logic—and compare them with each other and with...
متن کاملConceptual closure in Anselm’s proof: reply to
This paper provides replies to the objections Tony Roark presented (Roark, T. 2003. ‘Conceptual closure in Anselm’s proof’, History and Philosophy of Logic 24) to my reconstruction of Anselm’s famous argument in the Proslogion (Klima, G. 2000. ‘Saint Anselm’s Proof: A Problem of Reference, Intentional Identity and Mutual Understanding’, in G. Holmström-Hintikka, Medieval Philosophy and Modern T...
متن کاملA Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument
I use mechanized verification to examine several firstand higher-order formalizations of Anselm’s Ontological Argument against the charge of begging the question. I propose three different criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the formalizations examined. My purpose is to demonstrate that mechanized verification provides an...
متن کاملMechanized Analysis Of a Formalization of Anselm’s Ontological Argument by Eder and Ramharter∗
Eder and Ramharter [7] propose requirements to be satisfied by formal reconstructions of informal arguments and illustrate these with their own reconstructions of Anselm’s Ontological Argument: one in classical (higher-order) logic, and one in modal logic. I reproduce and mechanically check their classical reconstruction in the PVS verification system and present this as an illustration of the ...
متن کامل